C++ 设计 : cast from base to derived class with no extra data members